;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o2, o10, o9, o4, o7, o11, o12, o3, o14, o1, o8, o6, o13, o15, o5]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("o3" 3 6)
;;   ("o7" 7 8)
;;   ("o10" 2 9)
;;   ("u3" 0 12)
;;   ("o2" 14 15)
;;   ("o12" 1 16)
;;   ("u2" 4 16)
;;   ("o9" 5 17)
;;   ("o14" 11 18)
;;   ("o4" 10 19)
;;   ("u3" 13 20)
;; --------------
;; core
;; --------------------------------
;;  name:o2 start:46 length:2
;;  name:o10 start:11 length:24
;;  name:o9 start:30 length:24
;;  name:o4 start:36 length:48
;;  name:o7 start:33 length:1
;;  name:o12 start:4 length:46
;;  name:o3 start:15 length:16
;;  name:o14 start:37 length:40
;;  name:u2 start:17 length:33
;;  name:u3 start:0 length:42
;;  name:u3 start:45 length:40
;; patternLength:85
;; --------------------------------
(0
 (
 ("o1" 12 13)
 ("o1" 29 30)
 ("o3" 23 39)
 ("o7" 9 40)
 ("o7" 41 42)
 ("o10" 19 43)
 ("o1" 47 49)
 ("u3" 8 50)
 ("o2" 54 56)
 ("o12" 12 58)
 ("u2" 25 58)
 ("o1" 60 61)
 ("o9" 38 62)
 ("o9" 63 72)
 ("o1" 77 78)
 ("o11" 68 79)
 ("o14" 45 85)
 ("o7" 53 86)
 ("o4" 44 92)
 ("u3" 53 93)
 ("u3" 94 96)
 ("o1" 98 99)
 ("u2" 59 101)
 ("u1" 78 108)
 ("o1" 110 112)
 ("o13" 14 114)
 ("o5" 74 118)
 ("o1" 122 123)
 ("o3" 40 127)
 ("o7" 92 131)
 ("o4" 93 132)
 ("o15" 29 148)
 ("o8" 61 155)
 ("o6" 69 164)
 ("o14" 86 168)
 ("o10" 89 169)
 ("o12" 103 190)
))
(1
 (
 ("o10" 5 15)
 ("u1" 12 27)
 ("o3" 20 36)
 ("o7" 38 39)
 ("o10" 16 40)
 ("o14" 29 41)
 ("o5" 3 46)
 ("u3" 5 47)
 ("u1" 40 47)
 ("u3" 48 49)
 ("o2" 22 50)
 ("o2" 51 53)
 ("o12" 9 55)
 ("u2" 22 55)
 ("o9" 35 59)
 ("o12" 74 77)
 ("u1" 63 78)
 ("o14" 42 82)
 ("o4" 41 89)
 ("o5" 49 89)
 ("o3" 37 90)
 ("u3" 50 90)
 ("o6" 29 97)
 ("o1" 64 97)
 ("u1" 89 99)
 ("o11" 59 105)
 ("o7" 90 105)
 ("o8" 35 114)
 ("u2" 87 122)
 ("o14" 91 127)
 ("o5" 94 137)
 ("u3" 91 141)
 ("o13" 88 144)
 ("o10" 80 147)
 ("o4" 90 171)
))
(2
 (
 ("o11" 14 31)
 ("o15" 27 31)
 ("o6" 12 34)
 ("o3" 18 34)
 ("o7" 36 37)
 ("o10" 14 38)
 ("o14" 32 39)
 ("u3" 3 45)
 ("u3" 46 47)
 ("o8" 21 48)
 ("o2" 49 51)
 ("o12" 7 53)
 ("u2" 20 53)
 ("o5" 1 54)
 ("o11" 46 56)
 ("o9" 33 57)
 ("o15" 55 59)
 ("o1" 27 61)
 ("o11" 65 76)
 ("o6" 52 77)
 ("o14" 40 80)
 ("o15" 77 80)
 ("o4" 39 87)
 ("u3" 48 88)
 ("o4" 88 90)
 ("o11" 83 95)
 ("o8" 65 99)
 ("o3" 76 103)
 ("o7" 56 105)
 ("o5" 55 111)
 ("o9" 86 115)
 ("o6" 90 117)
 ("u2" 54 121)
 ("o12" 54 123)
 ("o10" 99 141)
 ("o13" 78 168)
 ("u1" 88 200)
))
(3
 (
 ("o14" 3 11)
 ("o10" 14 20)
 ("o9" 15 20)
 ("o14" 14 23)
 ("u2" 17 26)
 ("o14" 28 39)
 ("o9" 35 39)
 ("o3" 25 41)
 ("o7" 15 42)
 ("o7" 43 44)
 ("o10" 21 45)
 ("o4" 40 45)
 ("o14" 40 46)
 ("u3" 10 52)
 ("o13" 28 54)
 ("o2" 56 58)
 ("o12" 14 60)
 ("u2" 27 60)
 ("u1" 47 63)
 ("o9" 40 64)
 ("u2" 62 83)
 ("o9" 82 86)
 ("o14" 47 87)
 ("o4" 46 94)
 ("o14" 88 94)
 ("u3" 55 95)
 ("o15" 70 100)
 ("o10" 64 106)
 ("o14" 98 108)
 ("o9" 105 108)
 ("u3" 105 108)
 ("o13" 82 117)
 ("u1" 100 117)
 ("o14" 109 129)
 ("o8" 52 131)
 ("o11" 91 131)
 ("o6" 67 133)
 ("u2" 105 134)
 ("o2" 66 136)
 ("o5" 109 162)
 ("o1" 85 183)
 ("o12" 101 185)
))
(4
 (
 ("u2" 26 35)
 ("o3" 34 50)
 ("o7" 40 51)
 ("o7" 52 53)
 ("o4" 5 54)
 ("o10" 30 54)
 ("o14" 7 55)
 ("u3" 19 61)
 ("o3" 51 61)
 ("o2" 17 64)
 ("o2" 65 67)
 ("o12" 23 69)
 ("u2" 36 69)
 ("o9" 49 73)
 ("o11" 64 73)
 ("o12" 72 77)
 ("o13" 43 80)
 ("o10" 60 81)
 ("o14" 56 96)
 ("o4" 55 103)
 ("u3" 64 104)
 ("o12" 99 107)
 ("o3" 96 120)
 ("u1" 43 121)
 ("o4" 104 134)
 ("o9" 86 141)
 ("o8" 59 146)
 ("u2" 104 146)
 ("o15" 38 151)
 ("o5" 74 166)
 ("o1" 106 175)
 ("o6" 104 181)
 ("o2" 105 181)
 ("o14" 103 188)
 ("u3" 105 190)
))
(5
 (
 ("o3" 22 36)
 ("o9" 18 43)
 ("o2" 35 51)
 ("o3" 37 53)
 ("o7" 45 54)
 ("o7" 55 56)
 ("o10" 33 57)
 ("o14" 17 58)
 ("u1" 34 58)
 ("u3" 22 64)
 ("u3" 65 66)
 ("o2" 68 70)
 ("o12" 26 72)
 ("u2" 39 72)
 ("o9" 52 76)
 ("o9" 77 88)
 ("o6" 70 93)
 ("o2" 78 97)
 ("o14" 59 99)
 ("o13" 45 104)
 ("o4" 58 106)
 ("o11" 63 107)
 ("u3" 67 107)
 ("o5" 19 113)
 ("o9" 107 130)
 ("o15" 61 131)
 ("o1" 47 136)
 ("o14" 105 144)
 ("o4" 107 150)
 ("o12" 93 154)
 ("o3" 107 167)
 ("o8" 94 188)
))
(6
 (
 ("o9" 11 15)
 ("u1" 17 19)
 ("u2" 19 22)
 ("o7" 16 27)
 ("o2" 9 30)
 ("o9" 29 31)
 ("o14" 30 35)
 ("o3" 21 37)
 ("o7" 39 40)
 ("o10" 17 41)
 ("u3" 6 48)
 ("u1" 46 49)
 ("o2" 40 51)
 ("o7" 41 52)
 ("o2" 52 54)
 ("o12" 10 56)
 ("u2" 23 56)
 ("o6" 50 56)
 ("o9" 36 60)
 ("u1" 64 66)
 ("o7" 65 75)
 ("o2" 62 79)
 ("o9" 75 81)
 ("o14" 43 83)
 ("o1" 13 84)
 ("o4" 42 90)
 ("u3" 51 91)
 ("o13" 33 93)
 ("u1" 91 93)
 ("o8" 49 97)
 ("o7" 91 102)
 ("o6" 95 104)
 ("o9" 102 108)
 ("o2" 89 112)
 ("o7" 111 124)
 ("o10" 64 130)
 ("o15" 26 136)
 ("u3" 108 138)
 ("o12" 84 158)
 ("o11" 86 170)
 ("o5" 100 172)
 ("o1" 102 179)
 ("o4" 91 198)
))
(7
 (
 ("u2" 16 26)
 ("o1" 17 29)
 ("o13" 20 29)
 ("o9" 28 39)
 ("o13" 38 40)
 ("o3" 25 41)
 ("o7" 35 42)
 ("o7" 43 44)
 ("o10" 21 45)
 ("o4" 40 45)
 ("o13" 45 48)
 ("u3" 10 52)
 ("o1" 42 56)
 ("o2" 56 58)
 ("o12" 14 60)
 ("u2" 27 60)
 ("o9" 40 64)
 ("o13" 60 64)
 ("o5" 51 65)
 ("o15" 11 71)
 ("o10" 65 74)
 ("o13" 73 78)
 ("o6" 68 83)
 ("o14" 47 87)
 ("o8" 26 88)
 ("o1" 82 90)
 ("o13" 88 91)
 ("o4" 46 94)
 ("u3" 55 95)
 ("o2" 69 105)
 ("u2" 69 106)
 ("o13" 100 107)
 ("o12" 80 114)
 ("o1" 106 114)
 ("u1" 58 120)
 ("o5" 106 129)
 ("o3" 52 134)
 ("o15" 88 165)
 ("o11" 94 180)
 ("o8" 109 188)
 ("u3" 96 192)
 ("o14" 107 193)
))
(8
 (
 ("o3" 23 33)
 ("o9" 45 48)
 ("o3" 34 50)
 ("o7" 52 53)
 ("o10" 30 54)
 ("o4" 47 54)
 ("o14" 10 55)
 ("u3" 19 61)
 ("o2" 21 64)
 ("o15" 56 64)
 ("o2" 65 67)
 ("o12" 23 69)
 ("u2" 36 69)
 ("o6" 41 72)
 ("u1" 64 72)
 ("o9" 49 73)
 ("o8" 61 80)
 ("o12" 71 88)
 ("o1" 22 91)
 ("o14" 56 96)
 ("o13" 37 101)
 ("o10" 90 102)
 ("o4" 55 103)
 ("u3" 64 104)
 ("u2" 70 117)
 ("o2" 89 133)
 ("u3" 105 134)
 ("o11" 89 136)
 ("o5" 48 139)
 ("o3" 89 144)
 ("o7" 80 156)
))
(9
 (
 ("o5" 4 8)
 ("o10" 3 10)
 ("u2" 12 16)
 ("o5" 13 17)
 ("o5" 22 25)
 ("o9" 25 29)
 ("o3" 15 31)
 ("o13" 17 31)
 ("o7" 23 32)
 ("o7" 33 34)
 ("o10" 11 35)
 ("o5" 33 38)
 ("u3" 0 42)
 ("u3" 43 44)
 ("o5" 43 45)
 ("o13" 38 48)
 ("o2" 46 48)
 ("o12" 4 50)
 ("u2" 17 50)
 ("o5" 48 51)
 ("o12" 51 53)
 ("o9" 30 54)
 ("o5" 57 59)
 ("o8" 25 65)
 ("o15" 13 66)
 ("o9" 56 66)
 ("o13" 58 70)
 ("o5" 65 74)
 ("o10" 46 75)
 ("o14" 37 77)
 ("u1" 30 82)
 ("o4" 36 84)
 ("u3" 45 85)
 ("o5" 79 86)
 ("o13" 73 93)
 ("o9" 81 93)
 ("o12" 78 95)
 ("o7" 76 99)
 ("o4" 85 103)
 ("o1" 33 112)
 ("o2" 61 113)
 ("o10" 79 116)
 ("o14" 78 130)
 ("o3" 65 131)
 ("o15" 76 134)
))
(10
 (
 ("o3" 18 34)
 ("o7" 36 37)
 ("o10" 14 38)
 ("o4" 37 38)
 ("u3" 3 45)
 ("o2" 26 48)
 ("o2" 49 51)
 ("o12" 7 53)
 ("u2" 20 53)
 ("o9" 33 57)
 ("o10" 39 73)
 ("o7" 43 77)
 ("o14" 40 80)
 ("o4" 39 87)
 ("u3" 48 88)
 ("o14" 81 92)
 ("o6" 82 93)
 ("o12" 76 94)
 ("o2" 72 95)
 ("o15" 18 97)
 ("o8" 17 109)
 ("o5" 11 110)
 ("o9" 62 111)
 ("u2" 79 113)
 ("u1" 64 116)
 ("o13" 88 130)
 ("o10" 101 130)
 ("o3" 39 138)
 ("o1" 66 158)
 ("o11" 98 166)
 ("u3" 100 184)
))
(11
 (
 ("o7" 21 24)
 ("o8" 9 36)
 ("o3" 22 38)
 ("o7" 40 41)
 ("o10" 18 42)
 ("o4" 22 42)
 ("o14" 38 43)
 ("u3" 7 49)
 ("u3" 50 51)
 ("o2" 24 52)
 ("o7" 42 53)
 ("o2" 53 55)
 ("o12" 11 57)
 ("u2" 24 57)
 ("o9" 37 61)
 ("o11" 43 62)
 ("u1" 3 64)
 ("u2" 58 71)
 ("o14" 44 84)
 ("o8" 49 84)
 ("o7" 73 87)
 ("o9" 62 88)
 ("o4" 43 91)
 ("u3" 52 92)
 ("o15" 55 96)
 ("o13" 44 105)
 ("o8" 95 116)
 ("o1" 44 117)
 ("o2" 89 121)
 ("o3" 60 133)
 ("o6" 39 143)
 ("u1" 69 144)
 ("o10" 89 146)
 ("o12" 92 167)
))
(12
 (
 ("o15" 1 9)
 ("o3" 14 19)
 ("o15" 11 23)
 ("o3" 20 36)
 ("o7" 9 37)
 ("o7" 38 39)
 ("o10" 16 40)
 ("o4" 32 40)
 ("o15" 24 41)
 ("o2" 26 46)
 ("u3" 5 47)
 ("o3" 46 47)
 ("u3" 48 49)
 ("o2" 51 53)
 ("o12" 9 55)
 ("u2" 22 55)
 ("o15" 42 55)
 ("o9" 35 59)
 ("o3" 62 65)
 ("u1" 7 69)
 ("u2" 56 74)
 ("o15" 57 79)
 ("o13" 21 80)
 ("o14" 42 82)
 ("o2" 68 87)
 ("o4" 41 89)
 ("o6" 66 89)
 ("o3" 86 89)
 ("u3" 50 90)
 ("o15" 80 100)
 ("o8" 14 119)
 ("o5" 90 135)
 ("o4" 97 137)
 ("u1" 76 138)
 ("u2" 98 141)
 ("o1" 68 143)
 ("o13" 95 153)
 ("o9" 60 156)
 ("o10" 82 169)
 ("o12" 86 175)
 ("o14" 91 183)
))
(13
 (
 ("o2" 14 16)
 ("o8" 11 38)
 ("o2" 37 38)
 ("o9" 31 46)
 ("o3" 32 48)
 ("o7" 50 51)
 ("o10" 28 52)
 ("o4" 28 52)
 ("u3" 17 59)
 ("o2" 58 59)
 ("o2" 63 65)
 ("o12" 21 67)
 ("u2" 34 67)
 ("u1" 29 70)
 ("o9" 47 71)
 ("o8" 49 71)
 ("o2" 74 76)
 ("o6" 33 80)
 ("o14" 54 94)
 ("u2" 68 96)
 ("o14" 95 96)
 ("o2" 94 97)
 ("o11" 48 100)
 ("o4" 53 101)
 ("u3" 62 102)
 ("o15" 29 110)
 ("o8" 76 115)
 ("o13" 39 127)
 ("o3" 103 136)
 ("o10" 53 137)
 ("u1" 90 138)
 ("o12" 68 139)
 ("o7" 60 148)
 ("u3" 103 172)
))
(14
 (
 ("o4" 31 36)
 ("o9" 41 58)
 ("o3" 44 60)
 ("o7" 62 63)
 ("o10" 40 64)
 ("o4" 59 64)
 ("u3" 29 71)
 ("o3" 69 76)
 ("o2" 75 77)
 ("o12" 33 79)
 ("o11" 44 79)
 ("u2" 46 79)
 ("o9" 59 83)
 ("o5" 17 95)
 ("o6" 81 98)
 ("o12" 94 99)
 ("o14" 66 106)
 ("o15" 45 111)
 ("o8" 50 111)
 ("o4" 65 113)
 ("o14" 107 113)
 ("u3" 74 114)
 ("o4" 114 116)
 ("o10" 65 137)
 ("o13" 101 140)
 ("o1" 116 157)
 ("u1" 95 172)
 ("o5" 114 175)
 ("u2" 93 178)
 ("u3" 115 178)
))
(15
 (
 ("u3" 11 13)
 ("o10" 18 24)
 ("o9" 19 43)
 ("o3" 29 45)
 ("o11" 20 48)
 ("o7" 47 48)
 ("o4" 21 49)
 ("o10" 25 49)
 ("o2" 20 51)
 ("u3" 14 56)
 ("o2" 60 62)
 ("o12" 18 64)
 ("u2" 31 64)
 ("o9" 44 68)
 ("o3" 56 73)
 ("o7" 73 76)
 ("o6" 35 80)
 ("o13" 36 91)
 ("o14" 51 91)
 ("o12" 65 92)
 ("o11" 71 95)
 ("o4" 50 98)
 ("u3" 59 99)
 ("o14" 92 102)
 ("o15" 79 109)
 ("u2" 65 110)
 ("o2" 89 111)
 ("o10" 79 113)
 ("u3" 100 119)
 ("o1" 62 133)
 ("o6" 104 139)
 ("o8" 100 199)
 ("o5" 104 202)
 ("u1" 91 206)
))
(16
 (
 ("o9" 15 29)
 ("o3" 15 31)
 ("o7" 16 32)
 ("o7" 33 34)
 ("o10" 11 35)
 ("u3" 0 42)
 ("u3" 43 44)
 ("o2" 46 48)
 ("o12" 4 50)
 ("u2" 17 50)
 ("o13" 44 51)
 ("o9" 30 54)
 ("o11" 2 55)
 ("o3" 32 61)
 ("o8" 45 61)
 ("o12" 59 66)
 ("o14" 37 77)
 ("o6" 61 79)
 ("o2" 55 82)
 ("o4" 36 84)
 ("u3" 45 85)
 ("o15" 50 93)
 ("u3" 86 95)
 ("o1" 22 100)
 ("o7" 60 106)
 ("o11" 60 112)
 ("o5" 58 120)
 ("o10" 69 124)
 ("o3" 78 137)
 ("u2" 61 138)
 ("o9" 73 139)
))
(17
 (
 ("o3" 14 17)
 ("o3" 18 34)
 ("o7" 36 37)
 ("o10" 14 38)
 ("o2" 31 41)
 ("u3" 3 45)
 ("o2" 49 51)
 ("o12" 7 53)
 ("u2" 20 53)
 ("o9" 33 57)
 ("o11" 57 58)
 ("o5" 27 62)
 ("o8" 26 65)
 ("o14" 40 80)
 ("o6" 36 85)
 ("o4" 39 87)
 ("u1" 61 87)
 ("u3" 48 88)
 ("o3" 68 88)
 ("o14" 85 93)
 ("o2" 81 94)
 ("o13" 64 103)
 ("u3" 89 104)
 ("u2" 54 119)
 ("o10" 78 123)
 ("o9" 58 124)
 ("o12" 54 137)
 ("o8" 89 147)
 ("o7" 75 155)
))
(18
 (
 ("u1" 17 19)
 ("o15" 20 21)
 ("o3" 16 32)
 ("o7" 34 35)
 ("o4" 8 36)
 ("o10" 12 36)
 ("o2" 34 37)
 ("u1" 36 41)
 ("u3" 1 43)
 ("o2" 47 49)
 ("o12" 5 51)
 ("u2" 18 51)
 ("o15" 51 52)
 ("o9" 31 55)
 ("u1" 56 60)
 ("o15" 72 73)
 ("u1" 72 76)
 ("o2" 75 76)
 ("o14" 38 78)
 ("o13" 34 83)
 ("o4" 37 85)
 ("u3" 46 86)
 ("u1" 89 92)
 ("o6" 55 98)
 ("o1" 35 101)
 ("o14" 92 101)
 ("o9" 56 105)
 ("o3" 37 115)
 ("o8" 31 122)
 ("o5" 36 131)
 ("o11" 52 140)
 ("o7" 92 142)
 ("o10" 92 155)
 ("u3" 87 157)
 ("o12" 85 175)
 ("o4" 86 178)
))
(19
 (
 ("o9" 1 33)
 ("o3" 19 35)
 ("o7" 37 38)
 ("o10" 15 39)
 ("o14" 20 40)
 ("o11" 7 45)
 ("u3" 4 46)
 ("u3" 47 48)
 ("o2" 28 49)
 ("o2" 50 52)
 ("o12" 8 54)
 ("u2" 21 54)
 ("o9" 34 58)
 ("o6" 21 63)
 ("o7" 60 71)
 ("o3" 37 77)
 ("o15" 20 78)
 ("o9" 59 80)
 ("o14" 41 81)
 ("o1" 41 87)
 ("o4" 40 88)
 ("u3" 49 89)
 ("u1" 88 89)
 ("o8" 85 92)
 ("o11" 54 99)
 ("o10" 40 105)
 ("o9" 81 118)
 ("o6" 86 135)
 ("o5" 30 137)
 ("o12" 64 165)
 ("u2" 87 165)
 ("o13" 85 170)
))
(20
 (
 ("o3" 11 15)
 ("o3" 19 35)
 ("o7" 23 36)
 ("o7" 37 38)
 ("o10" 15 39)
 ("o15" 36 42)
 ("u3" 4 46)
 ("o3" 47 48)
 ("u3" 47 48)
 ("o2" 50 52)
 ("o3" 51 53)
 ("o12" 8 54)
 ("u2" 21 54)
 ("o9" 34 58)
 ("o3" 61 62)
 ("o13" 34 74)
 ("o1" 46 74)
 ("o3" 71 76)
 ("o15" 76 79)
 ("o14" 41 81)
 ("o3" 81 85)
 ("o4" 40 88)
 ("u3" 49 89)
 ("o12" 80 96)
 ("o8" 40 99)
 ("o3" 95 99)
 ("o4" 89 105)
 ("u2" 55 106)
 ("o14" 82 106)
 ("o2" 74 110)
 ("o9" 88 110)
 ("o3" 106 110)
 ("o5" 107 112)
 ("u1" 28 114)
 ("u3" 105 119)
 ("o7" 95 128)
 ("o6" 90 134)
 ("o13" 108 154)
 ("o11" 62 163)
 ("o10" 89 168)
))
(21
 (
 ("u2" 27 29)
 ("o2" 17 36)
 ("o3" 28 44)
 ("o7" 46 47)
 ("o10" 24 48)
 ("u3" 13 55)
 ("o2" 59 61)
 ("o12" 17 63)
 ("u2" 30 63)
 ("o9" 43 67)
 ("o15" 29 68)
 ("o2" 62 84)
 ("o12" 64 85)
 ("o14" 50 90)
 ("o4" 49 97)
 ("u3" 58 98)
 ("o14" 91 108)
 ("o6" 70 114)
 ("o8" 88 128)
 ("o15" 97 130)
 ("o2" 105 133)
 ("o5" 60 143)
 ("o9" 68 144)
 ("u2" 110 151)
 ("o12" 101 167)
 ("o11" 96 186)
 ("u3" 113 189)
 ("o3" 84 198)
 ("o1" 84 210)
 ("o13" 107 232)
 ("o10" 101 236)
))
(22
 (
 ("o9" 20 29)
 ("o3" 15 31)
 ("o7" 1 32)
 ("o6" 16 32)
 ("o7" 33 34)
 ("o10" 11 35)
 ("o14" 25 36)
 ("u3" 0 42)
 ("o2" 46 48)
 ("o12" 4 50)
 ("u2" 17 50)
 ("o9" 30 54)
 ("u1" 42 65)
 ("o6" 46 69)
 ("o10" 36 70)
 ("o1" 55 76)
 ("o14" 37 77)
 ("o11" 33 79)
 ("o3" 62 79)
 ("o4" 36 84)
 ("u3" 45 85)
 ("u2" 51 90)
 ("o12" 51 99)
 ("o6" 80 101)
 ("o7" 47 105)
 ("o2" 82 105)
 ("o8" 65 114)
 ("o5" 71 132)
))
(23
 (
 ("o3" 15 31)
 ("o7" 33 34)
 ("o10" 11 35)
 ("u3" 0 42)
 ("u3" 43 44)
 ("o2" 46 48)
 ("o12" 4 50)
 ("u2" 17 50)
 ("o9" 30 54)
 ("o10" 36 59)
 ("o2" 51 63)
 ("o11" 28 71)
 ("o14" 37 77)
 ("o4" 36 84)
 ("u3" 45 85)
 ("u2" 86 88)
 ("o15" 33 93)
 ("o13" 50 112)
 ("o8" 80 114)
 ("o14" 100 114)
 ("o5" 47 116)
 ("o10" 66 116)
 ("u1" 82 128)
 ("o4" 85 130)
 ("o1" 70 135)
 ("u3" 91 137)
 ("o9" 79 139)
 ("o6" 38 155)
 ("o12" 68 159)
 ("o7" 38 162)
 ("o3" 93 175)
))
(24
 (
 ("u2" 20 27)
 ("o6" 32 36)
 ("o3" 26 42)
 ("o7" 27 43)
 ("o7" 44 45)
 ("o10" 22 46)
 ("u3" 11 53)
 ("o2" 57 59)
 ("o12" 15 61)
 ("u2" 28 61)
 ("o9" 41 65)
 ("o15" 24 66)
 ("u1" 27 70)
 ("o2" 62 70)
 ("o3" 80 86)
 ("o6" 82 86)
 ("o14" 48 88)
 ("o1" 69 90)
 ("o4" 47 95)
 ("u3" 56 96)
 ("o7" 83 102)
 ("o9" 94 117)
 ("o8" 95 119)
 ("o13" 48 123)
 ("o11" 54 124)
 ("o15" 77 125)
 ("u1" 90 133)
 ("o4" 96 161)
 ("o10" 72 175)
 ("o14" 89 175)
 ("o5" 104 192)
 ("u3" 97 207)
))
(25
 (
 ("o13" 6 23)
 ("o9" 21 29)
 ("o3" 15 31)
 ("o7" 23 32)
 ("o4" 30 33)
 ("o7" 33 34)
 ("o10" 11 35)
 ("u3" 0 42)
 ("o2" 46 48)
 ("o11" 25 49)
 ("o13" 35 49)
 ("o12" 4 50)
 ("u2" 17 50)
 ("o9" 30 54)
 ("o12" 51 56)
 ("o15" 17 60)
 ("o14" 37 77)
 ("o13" 53 77)
 ("o10" 59 79)
 ("o4" 36 84)
 ("u3" 45 85)
 ("o3" 52 90)
 ("o1" 30 95)
 ("u2" 63 99)
 ("u3" 86 99)
 ("o11" 82 107)
 ("o12" 64 111)
 ("o14" 78 111)
 ("o6" 55 112)
 ("u1" 43 118)
 ("o15" 84 122)
 ("o8" 68 130)
 ("o5" 79 134)
 ("o2" 70 145)
))
(26
 (
 ("o3" 15 31)
 ("o7" 33 34)
 ("o10" 11 35)
 ("o4" 16 35)
 ("o14" 4 36)
 ("u3" 0 42)
 ("o2" 37 45)
 ("o2" 46 48)
 ("o12" 4 50)
 ("u2" 17 50)
 ("o9" 30 54)
 ("o9" 55 66)
 ("o12" 51 68)
 ("u1" 45 69)
 ("o14" 37 77)
 ("o11" 26 78)
 ("o4" 36 84)
 ("u3" 45 85)
 ("o3" 96 100)
 ("o6" 28 101)
 ("o15" 7 108)
 ("o5" 50 109)
 ("u2" 51 119)
 ("o12" 94 131)
 ("o13" 97 135)
 ("o8" 74 136)
 ("o14" 78 148)
 ("o1" 80 155)
 ("u3" 86 159)
 ("o10" 81 161)
 ("o11" 99 161)
 ("o7" 103 193)
))
(27
 (
 ("o13" 2 3)
 ("o13" 4 8)
 ("o13" 9 10)
 ("o13" 11 13)
 ("u2" 2 16)
 ("o13" 14 17)
 ("o13" 18 19)
 ("o13" 20 21)
 ("o13" 24 28)
 ("o3" 15 31)
 ("o13" 31 33)
 ("o7" 33 34)
 ("o10" 11 35)
 ("o13" 34 37)
 ("o13" 38 39)
 ("u3" 0 42)
 ("o10" 40 42)
 ("o13" 42 43)
 ("o2" 36 45)
 ("o13" 45 47)
 ("o2" 46 48)
 ("o12" 4 50)
 ("u2" 17 50)
 ("o3" 44 51)
 ("o9" 30 54)
 ("o13" 49 54)
 ("o13" 55 56)
 ("u2" 51 57)
 ("o13" 58 60)
 ("o1" 11 62)
 ("o10" 60 62)
 ("o13" 61 63)
 ("o13" 65 68)
 ("o11" 25 70)
 ("o13" 69 70)
 ("o5" 9 71)
 ("o14" 37 77)
 ("o13" 72 78)
 ("o13" 79 80)
 ("u1" 13 81)
 ("o6" 80 81)
 ("o4" 36 84)
 ("u2" 61 84)
 ("o8" 10 85)
 ("u3" 45 85)
 ("o13" 82 85)
 ("o10" 85 87)
 ("u3" 86 87)
 ("o12" 51 88)
 ("o13" 87 88)
 ("o7" 66 111)
 ("o1" 69 116)
 ("o9" 61 117)
 ("o4" 85 117)
 ("o14" 78 132)
 ("o15" 81 145)
 ("o5" 85 156)
))
(28
 (
 ("o12" 3 5)
 ("o1" 8 29)
 ("o3" 17 33)
 ("o7" 35 36)
 ("o4" 9 37)
 ("o10" 13 37)
 ("o5" 36 37)
 ("o14" 13 38)
 ("u3" 2 44)
 ("u3" 45 46)
 ("o2" 48 50)
 ("o12" 6 52)
 ("u2" 19 52)
 ("o9" 32 56)
 ("o15" 5 59)
 ("o7" 51 60)
 ("o12" 53 61)
 ("o13" 26 62)
 ("o1" 33 63)
 ("u1" 17 73)
 ("o12" 62 74)
 ("u2" 67 77)
 ("o14" 39 79)
 ("o5" 78 80)
 ("o4" 38 86)
 ("o12" 77 86)
 ("u3" 47 87)
 ("o1" 68 90)
 ("u3" 88 99)
 ("o12" 90 106)
 ("o6" 27 107)
 ("o4" 87 110)
 ("o1" 94 113)
 ("o11" 53 114)
 ("o15" 66 119)
 ("o10" 88 121)
 ("u1" 82 148)
 ("o9" 77 150)
))
(29
 (
 ("o3" 20 36)
 ("o7" 38 39)
 ("o10" 16 40)
 ("o14" 36 41)
 ("u3" 5 47)
 ("o2" 51 53)
 ("o12" 9 55)
 ("u2" 22 55)
 ("o9" 35 59)
 ("o11" 27 72)
 ("o13" 32 82)
 ("o14" 42 82)
 ("o7" 45 83)
 ("u1" 4 88)
 ("o10" 76 88)
 ("o4" 41 89)
 ("o6" 69 89)
 ("u3" 50 90)
 ("o3" 62 95)
 ("u2" 94 104)
 ("u3" 91 105)
 ("o2" 84 110)
 ("o15" 51 112)
 ("o8" 25 114)
 ("o1" 95 114)
 ("o9" 91 129)
 ("o12" 80 153)
 ("o5" 72 164)
 ("u1" 89 168)
))
(30
 (
 ("o12" 9 14)
 ("o3" 26 42)
 ("o7" 33 43)
 ("o13" 40 44)
 ("o7" 44 45)
 ("o10" 22 46)
 ("o4" 22 46)
 ("u3" 11 53)
 ("o2" 57 59)
 ("o12" 15 61)
 ("u2" 28 61)
 ("o9" 41 65)
 ("o15" 65 68)
 ("o8" 22 79)
 ("o5" 48 79)
 ("o14" 48 88)
 ("o6" 26 92)
 ("o4" 47 95)
 ("u3" 56 96)
 ("u2" 96 97)
 ("o13" 99 108)
 ("o11" 108 109)
 ("o12" 66 110)
 ("u1" 84 116)
 ("u3" 97 124)
 ("o3" 59 141)
 ("o14" 89 141)
 ("o8" 108 171)
 ("o9" 81 174)
 ("o10" 86 187)
))
(31
 (
 ("o5" 5 18)
 ("o12" 5 22)
 ("o10" 10 26)
 ("o3" 14 33)
 ("o15" 31 34)
 ("u2" 1 35)
 ("o11" 2 37)
 ("o13" 22 42)
 ("o3" 34 50)
 ("o5" 32 51)
 ("o7" 52 53)
 ("o10" 30 54)
 ("o14" 7 55)
 ("u3" 19 61)
 ("o10" 55 61)
 ("o11" 38 64)
 ("o2" 38 64)
 ("o1" 31 67)
 ("o2" 65 67)
 ("o13" 57 68)
 ("o12" 23 69)
 ("u2" 36 69)
 ("o15" 58 72)
 ("o9" 49 73)
 ("o5" 64 80)
 ("o3" 55 87)
 ("o8" 90 91)
 ("o7" 85 93)
 ("o14" 56 96)
 ("o13" 91 101)
 ("o4" 55 103)
 ("o12" 70 103)
 ("u3" 64 104)
 ("o11" 65 104)
 ("o10" 81 104)
 ("o15" 99 108)
 ("o5" 94 109)
 ("u2" 70 123)
 ("u1" 72 127)
 ("o1" 90 130)
 ("u3" 105 177)
))
(32
 (
 ("o3" 15 17)
 ("o3" 18 34)
 ("o7" 4 35)
 ("o7" 36 37)
 ("o10" 14 38)
 ("u3" 3 45)
 ("o2" 49 51)
 ("o12" 7 53)
 ("u2" 20 53)
 ("o9" 33 57)
 ("o9" 58 72)
 ("o12" 70 72)
 ("o1" 9 75)
 ("o11" 19 80)
 ("o14" 40 80)
 ("o2" 80 81)
 ("o6" 34 83)
 ("u2" 61 83)
 ("o4" 39 87)
 ("u1" 72 87)
 ("u3" 48 88)
 ("o15" 22 91)
 ("o10" 39 106)
 ("o14" 81 112)
 ("o7" 73 113)
 ("o5" 71 114)
 ("o13" 83 119)
 ("o8" 70 152)
 ("o1" 86 163)
))
(33
 (
 ("o3" 11 16)
 ("o9" 13 21)
 ("o3" 17 33)
 ("o7" 35 36)
 ("o10" 13 37)
 ("o11" 21 42)
 ("u3" 2 44)
 ("o2" 48 50)
 ("o12" 6 52)
 ("u2" 19 52)
 ("o9" 32 56)
 ("o9" 57 60)
 ("o5" 15 64)
 ("o13" 36 66)
 ("o9" 73 77)
 ("o14" 39 79)
 ("o4" 38 86)
 ("u3" 47 87)
 ("o14" 80 90)
 ("o1" 19 94)
 ("o11" 69 94)
 ("o9" 94 96)
 ("o2" 51 104)
 ("o10" 78 104)
 ("u2" 91 108)
 ("o3" 66 125)
 ("o7" 59 129)
 ("o8" 60 131)
 ("o5" 78 144)
 ("o12" 89 155)
 ("u1" 89 179)
))
(34
 (
 ("o3" 15 18)
 ("o9" 24 33)
 ("o3" 19 35)
 ("o7" 37 38)
 ("o10" 15 39)
 ("o4" 15 39)
 ("o14" 6 40)
 ("o5" 8 43)
 ("o13" 14 43)
 ("o15" 40 43)
 ("u3" 4 46)
 ("u3" 47 48)
 ("o6" 40 51)
 ("o2" 50 52)
 ("o12" 8 54)
 ("u2" 21 54)
 ("o7" 48 56)
 ("o9" 34 58)
 ("o14" 41 81)
 ("o2" 58 85)
 ("u1" 61 85)
 ("o5" 51 87)
 ("o4" 40 88)
 ("u3" 49 89)
 ("o12" 55 90)
 ("o15" 89 96)
 ("o10" 40 99)
 ("u2" 76 102)
 ("o6" 89 104)
 ("o11" 35 111)
 ("o13" 66 112)
 ("o1" 48 120)
 ("o8" 44 126)
 ("o14" 82 138)
))
(35
 (
 ("u2" 12 25)
 ("o3" 24 40)
 ("o7" 8 41)
 ("o7" 42 43)
 ("o10" 20 44)
 ("o4" 33 44)
 ("o14" 16 45)
 ("u3" 9 51)
 ("o10" 45 52)
 ("o2" 55 57)
 ("o12" 13 59)
 ("u2" 26 59)
 ("o9" 39 63)
 ("o13" 18 76)
 ("o11" 45 78)
 ("o6" 40 81)
 ("o5" 1 84)
 ("u1" 43 85)
 ("o14" 46 86)
 ("o1" 12 90)
 ("o4" 45 93)
 ("u3" 54 94)
 ("o8" 92 94)
 ("o2" 58 103)
 ("o10" 77 103)
 ("o15" 25 107)
 ("o3" 41 123)
 ("o12" 60 123)
 ("o9" 87 132)
 ("o7" 83 147)
 ("o14" 90 168)
 ("o5" 91 171)
))
(36
 (
 ("o12" 2 5)
 ("o3" 17 33)
 ("o7" 35 36)
 ("o10" 13 37)
 ("o14" 11 38)
 ("u3" 2 44)
 ("o2" 48 50)
 ("o12" 6 52)
 ("u2" 19 52)
 ("o9" 32 56)
 ("o8" 5 58)
 ("o12" 53 66)
 ("o11" 8 70)
 ("o1" 65 73)
 ("o5" 32 78)
 ("o14" 39 79)
 ("o6" 5 84)
 ("o4" 38 86)
 ("u3" 47 87)
 ("o13" 34 100)
 ("o12" 67 101)
 ("o10" 40 115)
 ("u3" 88 115)
 ("o3" 72 117)
 ("o9" 57 119)
 ("o8" 70 121)
 ("o2" 52 125)
 ("u2" 53 125)
 ("o11" 75 131)
 ("o7" 84 135)
 ("u1" 78 138)
 ("o15" 86 163)
))
(37
 (
 ("o9" 4 31)
 ("o3" 17 33)
 ("o7" 35 36)
 ("o10" 13 37)
 ("o2" 29 37)
 ("o14" 24 38)
 ("u3" 2 44)
 ("o2" 48 50)
 ("o12" 6 52)
 ("u2" 19 52)
 ("u1" 30 53)
 ("o9" 32 56)
 ("o2" 59 62)
 ("o5" 5 68)
 ("o10" 47 73)
 ("o14" 39 79)
 ("o4" 38 86)
 ("u3" 47 87)
 ("o13" 29 89)
 ("o9" 57 93)
 ("u1" 68 95)
 ("o7" 43 96)
 ("u2" 72 97)
 ("o11" 19 101)
 ("o12" 53 101)
 ("u3" 88 103)
 ("o8" 59 115)
 ("o3" 46 127)
 ("o4" 87 150)
 ("o1" 75 152)
 ("o5" 77 172)
 ("o6" 65 176)
))
(38
 (
 ("u1" 11 24)
 ("o12" 14 35)
 ("o10" 41 42)
 ("o9" 23 44)
 ("o3" 3 46)
 ("u2" 19 48)
 ("u1" 40 49)
 ("o3" 47 63)
 ("o7" 12 64)
 ("u1" 54 64)
 ("o7" 65 66)
 ("o4" 27 67)
 ("o10" 43 67)
 ("u3" 32 74)
 ("o2" 73 77)
 ("o2" 78 80)
 ("u1" 68 81)
 ("o12" 36 82)
 ("u2" 49 82)
 ("o9" 62 86)
 ("o5" 86 88)
 ("o8" 59 107)
 ("o14" 69 109)
 ("u1" 97 113)
 ("o14" 110 115)
 ("o4" 68 116)
 ("u3" 77 117)
 ("u1" 120 129)
 ("o9" 108 136)
 ("o12" 86 141)
 ("o13" 43 148)
 ("o1" 41 172)
 ("o6" 82 174)
 ("u3" 118 174)
 ("o15" 116 199)
 ("u2" 115 201)
 ("o11" 111 203)
))
(39
 (
 ("o2" 7 40)
 ("o3" 26 42)
 ("o7" 44 45)
 ("o10" 22 46)
 ("u3" 11 53)
 ("u3" 54 55)
 ("o2" 47 56)
 ("o2" 57 59)
 ("o12" 15 61)
 ("u2" 28 61)
 ("u1" 33 65)
 ("o9" 41 65)
 ("u2" 62 68)
 ("o1" 27 73)
 ("o10" 47 73)
 ("o5" 22 77)
 ("o12" 62 86)
 ("o14" 48 88)
 ("o4" 47 95)
 ("u3" 56 96)
 ("o6" 73 102)
 ("o13" 81 128)
 ("u1" 100 134)
 ("o11" 38 137)
 ("u3" 97 141)
 ("o2" 102 143)
 ("o5" 101 148)
 ("o4" 96 162)
 ("o7" 103 162)
 ("o8" 99 164)
 ("o3" 104 174)
 ("o14" 94 196)
))
(40
 (
 ("u3" 14 17)
 ("u1" 23 37)
 ("o3" 33 49)
 ("o7" 51 52)
 ("o10" 29 53)
 ("o14" 1 54)
 ("o6" 13 58)
 ("u3" 18 60)
 ("o2" 4 63)
 ("o2" 64 66)
 ("o12" 22 68)
 ("u2" 35 68)
 ("o9" 48 72)
 ("u1" 56 79)
 ("o14" 55 95)
 ("o13" 18 96)
 ("o4" 54 102)
 ("o8" 91 102)
 ("u3" 63 103)
 ("o3" 50 104)
 ("o11" 33 109)
 ("o15" 51 116)
 ("o4" 103 116)
 ("o6" 68 118)
 ("o12" 86 120)
 ("u1" 106 126)
 ("o1" 34 127)
 ("o9" 100 128)
 ("o2" 73 140)
 ("o5" 68 142)
 ("u2" 69 152)
 ("u3" 104 152)
 ("o10" 54 156)
 ("o13" 105 165)
 ("o14" 96 177)
 ("o7" 92 180)
))
(41
 (
 ("o10" 2 25)
 ("u2" 22 31)
 ("u1" 24 33)
 ("o11" 8 43)
 ("o9" 21 44)
 ("o3" 30 46)
 ("o4" 31 46)
 ("o7" 48 49)
 ("o10" 26 50)
 ("o14" 21 51)
 ("o15" 42 56)
 ("u3" 15 57)
 ("o3" 47 57)
 ("u1" 47 59)
 ("o2" 61 63)
 ("o12" 19 65)
 ("u2" 32 65)
 ("o6" 34 69)
 ("o5" 45 69)
 ("o9" 45 69)
 ("o11" 51 79)
 ("o12" 66 82)
 ("u1" 71 85)
 ("o14" 52 92)
 ("o4" 51 99)
 ("u3" 60 100)
 ("o8" 19 106)
 ("o3" 99 106)
 ("o2" 100 107)
 ("o4" 100 108)
 ("u3" 101 115)
 ("o13" 70 120)
 ("o1" 38 125)
 ("o15" 96 125)
 ("o11" 93 129)
 ("o7" 103 169)
 ("o10" 94 180)
))
(42
 (
 ("o3" 15 31)
 ("o15" 28 31)
 ("o11" 13 33)
 ("o7" 33 34)
 ("o10" 11 35)
 ("u3" 0 42)
 ("o8" 18 46)
 ("o2" 46 48)
 ("o12" 4 50)
 ("u2" 17 50)
 ("o9" 30 54)
 ("o11" 46 61)
 ("o6" 18 63)
 ("o15" 61 67)
 ("o1" 10 75)
 ("o14" 37 77)
 ("u2" 51 77)
 ("o14" 78 81)
 ("o4" 36 84)
 ("u3" 45 85)
 ("o11" 82 92)
 ("o12" 51 93)
 ("o8" 63 93)
 ("o9" 80 93)
 ("o4" 85 94)
 ("o7" 62 102)
 ("u3" 86 104)
 ("o5" 18 112)
 ("o6" 81 113)
 ("u1" 65 121)
 ("o3" 66 122)
 ("o10" 75 122)
 ("o2" 80 129)
 ("o13" 53 132)
 ("o1" 83 163)
))
(43
 (
 ("o11" 6 10)
 ("o11" 13 21)
 ("o11" 28 31)
 ("o9" 23 41)
 ("o15" 1 42)
 ("o11" 38 42)
 ("o3" 27 43)
 ("o7" 45 46)
 ("o10" 23 47)
 ("o14" 15 48)
 ("u3" 12 54)
 ("u3" 55 56)
 ("o11" 49 58)
 ("o8" 57 59)
 ("o2" 58 60)
 ("o12" 16 62)
 ("u2" 29 62)
 ("o9" 42 66)
 ("o11" 64 71)
 ("u2" 63 88)
 ("o11" 78 88)
 ("o14" 49 89)
 ("o1" 39 91)
 ("o4" 48 96)
 ("u3" 57 97)
 ("o11" 97 99)
 ("o15" 45 100)
 ("o4" 97 100)
 ("o12" 63 102)
 ("o5" 34 106)
 ("u1" 49 114)
 ("o9" 95 139)
 ("o3" 76 152)
 ("o10" 94 152)
 ("o6" 53 160)
 ("o7" 64 165)
 ("o13" 88 184)
))
(44
 (
 ("o10" 3 17)
 ("u2" 22 23)
 ("o9" 7 36)
 ("o3" 22 38)
 ("o7" 40 41)
 ("o10" 18 42)
 ("o3" 39 44)
 ("u3" 7 49)
 ("o10" 43 49)
 ("o2" 53 55)
 ("o12" 11 57)
 ("u2" 24 57)
 ("o9" 37 61)
 ("o10" 50 62)
 ("u1" 63 69)
 ("o5" 30 77)
 ("o10" 64 80)
 ("o14" 44 84)
 ("o4" 43 91)
 ("u3" 52 92)
 ("o8" 64 92)
 ("o7" 51 95)
 ("o14" 85 103)
 ("o10" 81 105)
 ("o1" 89 114)
 ("o15" 93 114)
 ("o2" 62 115)
 ("o11" 21 119)
 ("o13" 83 122)
 ("o6" 78 123)
))
(45
 (
 ("o3" 21 37)
 ("o7" 39 40)
 ("o10" 17 41)
 ("o3" 38 43)
 ("u3" 6 48)
 ("u3" 49 50)
 ("o2" 52 54)
 ("o12" 10 56)
 ("u2" 23 56)
 ("o9" 36 60)
 ("o11" 39 65)
 ("o10" 42 69)
 ("o12" 57 70)
 ("o5" 38 74)
 ("o1" 66 82)
 ("o14" 43 83)
 ("o4" 42 90)
 ("u3" 51 91)
 ("u1" 57 95)
 ("o3" 91 98)
 ("o8" 18 101)
 ("o9" 88 103)
 ("o13" 58 132)
 ("o14" 84 132)
 ("o15" 66 136)
 ("u2" 93 150)
 ("o6" 95 158)
 ("o2" 83 168)
))
(46
 (
 ("o12" 9 15)
 ("o6" 1 22)
 ("o3" 17 26)
 ("o6" 25 38)
 ("o5" 34 41)
 ("o3" 27 43)
 ("o7" 45 46)
 ("o10" 23 47)
 ("o14" 24 48)
 ("o2" 24 48)
 ("o1" 26 51)
 ("u3" 12 54)
 ("u3" 55 56)
 ("o2" 58 60)
 ("o12" 16 62)
 ("u2" 29 62)
 ("o8" 19 64)
 ("o6" 39 66)
 ("o9" 42 66)
 ("o11" 41 75)
 ("u2" 63 75)
 ("o15" 49 76)
 ("o5" 73 82)
 ("o7" 70 83)
 ("o6" 67 88)
 ("o14" 49 89)
 ("o4" 48 96)
 ("u3" 57 97)
 ("o13" 33 98)
 ("o2" 72 99)
 ("u1" 25 102)
 ("o6" 89 109)
 ("o1" 74 111)
 ("o9" 96 120)
 ("o8" 84 130)
 ("o4" 97 149)
 ("u3" 98 149)
 ("o10" 62 150)
 ("o12" 85 155)
))
(47
 (
 ("o1" 22 39)
 ("o9" 37 48)
 ("o3" 34 50)
 ("o7" 52 53)
 ("o4" 7 54)
 ("o10" 30 54)
 ("u3" 19 61)
 ("o6" 5 62)
 ("o10" 65 66)
 ("o2" 65 67)
 ("o12" 23 69)
 ("u2" 36 69)
 ("o9" 49 73)
 ("o1" 67 80)
 ("o8" 71 84)
 ("o5" 54 95)
 ("o14" 56 96)
 ("u1" 83 96)
 ("o13" 84 97)
 ("o4" 55 103)
 ("u2" 70 103)
 ("o7" 90 103)
 ("u3" 64 104)
 ("o1" 99 115)
 ("o11" 66 117)
 ("o12" 72 123)
 ("o6" 65 134)
 ("o4" 104 136)
 ("o15" 52 154)
 ("o14" 97 166)
 ("u3" 105 176)
 ("o3" 90 185)
 ("o2" 106 210)
))
(48
 (
 ("o10" 10 21)
 ("o4" 7 22)
 ("o3" 24 25)
 ("o5" 5 28)
 ("o4" 28 39)
 ("o3" 26 42)
 ("o5" 33 45)
 ("o7" 44 45)
 ("o10" 22 46)
 ("o4" 45 46)
 ("o14" 18 47)
 ("u3" 11 53)
 ("o11" 25 54)
 ("u3" 54 55)
 ("o2" 49 56)
 ("o2" 57 59)
 ("o10" 48 60)
 ("o12" 15 61)
 ("u2" 28 61)
 ("o9" 41 65)
 ("o5" 51 69)
 ("o14" 48 88)
 ("o13" 55 89)
 ("o10" 69 89)
 ("o4" 47 95)
 ("u3" 56 96)
 ("o9" 66 97)
 ("o5" 74 97)
 ("o6" 92 98)
 ("o11" 76 101)
 ("o4" 96 102)
 ("o1" 40 103)
 ("o10" 99 112)
 ("o5" 100 116)
 ("o8" 30 129)
 ("o3" 95 132)
 ("u1" 90 143)
 ("u2" 62 145)
 ("o7" 68 158)
 ("o15" 88 170)
))
(49
 (
 ("u2" 9 22)
 ("o3" 21 37)
 ("o7" 39 40)
 ("o10" 17 41)
 ("u3" 6 48)
 ("o5" 17 48)
 ("o2" 11 51)
 ("o2" 52 54)
 ("o12" 10 56)
 ("u2" 23 56)
 ("o9" 36 60)
 ("o10" 57 70)
 ("u2" 57 76)
 ("o3" 67 77)
 ("o14" 43 83)
 ("o5" 63 88)
 ("o1" 85 88)
 ("o4" 42 90)
 ("u3" 51 91)
 ("u1" 80 94)
 ("u3" 92 102)
 ("o13" 54 107)
 ("u2" 83 108)
 ("o3" 98 110)
 ("o12" 57 118)
 ("o2" 81 122)
 ("o14" 88 135)
 ("o5" 113 141)
 ("o15" 53 147)
 ("o7" 43 154)
 ("o11" 64 177)
 ("o8" 84 178)
 ("o6" 78 191)
 ("o4" 114 236)
))
